Communication and Deontic Logic
نویسنده
چکیده
In a normative system many of the obligations, prohibitions and permissions exist as a result of communication with users and/or other systems. In this paper we will discuss the role of illocutionary logic and deontic logic in modelling these communication processes and the resulting norms. The combination of illocutionary and deontic logic can be used to reason about communication structures. The use of deontic logic also makes it possible to describe the course of action in the cases that the communication protocol fails. This is of particular interest for the speciication of exible transactions in the context of interoperable systems.
منابع مشابه
Modelling Agent Communication in a First Order Logic
In the design of information systems, the notion of agent has proven useful. When modelling communication among agents, deontic concepts, such as obligations, permissions, and prohibitions are essential. The dynamics of obligations, i.e., how obligations are created and destroyed, can effectively be described by means of notions from speech act theory. In this paper, we present a language that ...
متن کاملModelling Communication between Cooperative Systems
In cooperative systems many of the obligations, prohibitions and permissions that govern the behaviour of the system exist as a result of communication with users and/or other systems. In this paper we will discuss the role of illocutionary logic and deontic logic in modelling these communication processes and the resulting norms. The combination of illocutionary and deontic logic can be used t...
متن کاملDeontic Logic-based Framework for Ontology Aligment in Agent Communities
In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inconsistencies. We propose a general framework for decision making about ontology alignment and negotiation which takes into account the properties of the actual communication network and utilizes the Deontic Logic formal...
متن کاملA dynamic deontic logic for complex contracts
We present a dynamic deontic logic for specifying and reasoning about complex contracts. The concepts that our contract logic CL captures are drawn from legal contracts, as we consider that these are more general and expressive than what is usually found in computer science (like in software contracts, web services specifications, or communication protocols). CL is intended to be used in specif...
متن کاملWhy Defeasible Deontic Logic needs a Multi Preference Semantics
There is a fundamental difference between a conditional obligation being violated by a fact, and a conditional obligation being overridden by another conditional obligation. In this paper we analyze this difference in the multi preference semantics of our defeasible deontic logic DEFDIODE. The semantics contains one preference relation for ideality, which can be used to formalize deontic parado...
متن کامل